Tootfinder

“The now-authenticated sketch by Pierre Eugène du Simitiére depicts two women and an infant loaded in a wagon guarded by officers. The gem is also now one of only two artworks to feature firsthand imagery of the #Revolution’s oft-forgotten female revolutionaries …
“‘Finding a previously undocumented sketch that was unknown to

A Rare American Revolution Drawing Was Found Hanging in a New York Apartment
Until this week, there was only one known depiction of women during the American Revolution. A newfound sketch brings that total up to two.

Leaked images show a white disc-less Xbox Series X console, which Microsoft plans to release in 2024, with the same design as the existing black Xbox Series X (Álvaro/eXputer)
https://exputer.com/news/xbox/white-digital-xbox-series-x-photos/

[Exclusive] Here's Your First Look At The Upcoming White, All-Digital Xbox Series X
Sources close to eXputer have revealed images of the white, digital-only Xbox Series X that's coming in June or July this year.

Watching the #nbaplayoffs with an eye on the roster of first round exit teams. You know, prospects for The Warriors rebuild 😁 #DubNation :warriors

Hey friends! Here's the summit-view of the hike that I described in the last posts.
I'm so glad that I took this #photo as I had almost forgotten about the whole #hiking trip. Now I'm eager again to go out and have such a view up to the

Late-April Solitude: A Solo Alpine Journey
In the quiet majesty of a late-April solo hike, the mountain landscape revealed a subtle beauty in transition. The snow-covered peaks, the muted hues of transitioning grass, and the dance of light and shadow became a testament to the unfiltered allure of nature awakening from its winter slumber.

Great article. Great writing, thanks! https://blacktwitter.io/@CuriousScout/112174485630113991

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
Reynald Affeldt, Zachary Stone
https://arxiv.org/abs/2403.18229 https://

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a comprehensive overview of the Lebesgue Differentiation Theorem formalized in the Coq proof assistant, from which the first Fundamental Theorem of Calculus (FTC) for the Lebesgue integral is obtained as a corollary. Proving the first FTC in this way has the advantage of decomposing into loosely-coupled theories of mod…

ALMA, as part of the Event Horizon Telescope, is unveiling a new image of our Milky Way's supermassive black hole, Sagittarius A*, in which strong magnetic fields can be seen…
The most exciting part is that this hints to a jet that would be hidden from our vantage point in our galaxy… but imagine that! We might be like M87, just at a smaller scale!

Astronomers unveil strong magnetic fields spiraling at the edge of Milky Way’s central black hole | ALMA
A new image from the Event Horizon Telescope (EHT) collaboration has uncovered strong and organized magnetic fields spiraling from the edge of the supermassive black hole Sagittarius A* (Sgr A*). Seen in polarised light for the first time, this new view of the monster lurking at the heart of the Milky Way galaxy has revealed...

Alleged renders of the Google Pixel 9 show a camera module with two cameras, compared to three cameras on the 9 Pro and 9 Pro XL, a compact body, and more (Marcia Sekhose/91mobiles)
https://www.91mobiles.com/hub/google-pixel-9-renders-design-exclusive/

[Exclusive] Google Pixel 9 design revealed through 5K renders; will launch alongside Pixel 9 Pro, Pixel 9 ...
Google Pixel 9 launch is expected later this year and here's your first look at the phone's design courtesy of high-res renders.

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
Reynald Affeldt, Zachary Stone
https://arxiv.org/abs/2403.18229 https://

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a comprehensive overview of the Lebesgue Differentiation Theorem formalized in the Coq proof assistant, from which the first Fundamental Theorem of Calculus (FTC) for the Lebesgue integral is obtained as a corollary. Proving the first FTC in this way has the advantage of decomposing into loosely-coupled theories of mod…